$\forall$$a$,$b$,$c$:rationals. qle($a$; $b$) $\Rightarrow$ qless($b$; $c$) $\Rightarrow$ qless($a$; $c$)